Hello World Case Study Transformation Specification
نویسندگان
چکیده
In this paper we apply the UML-RSDS notation and tools to the “Hello World” case studies and explain the underlying development process for this model transformation approach. 1 Specification of model transformations In UML-RSDS a transformation specification is written in first-order logic and OCL, and consists of one or more predicates: 1. A global specification, Cons, of a model transformation, expresses in a platform-independent manner the overall effect of the transformation, as a relation between the source and target models. It is expressed in the (disjoint) union of the languages of these models. It is intended to hold true at termination of the transformation. 2. A predicate Asm expresses the assumptions made about the source and target models at the start of the transformation, for example, that the target model is empty and that the source model is syntactically correct wrt the source language. It also is a predicate in the union language. 3. Ens is a predicate in the target language (possibly also in the source language if the transformation modifies both source and target models), expressing additional properties of the transformation result, which should be consequences of Cons. 4. Pres is a predicate in the source language, expressing properties of the source model which should be true (possibly via some syntactic interpretation) in the target model. ∗Research supported by the HoRTMoDA EPSRC project
منابع مشابه
Hello World with MOLA
This paper describes the solution of Hello World transformations in MOLA transformation language. Transformations implementing the task are relatively straightforward and easily inferable from the task specification. The required additional steps related to model import and export are also described.
متن کاملSaying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case
The specification is therefore independent of any specific model transformation implementation language, and can be used as the basis for development in many such languages. By making explicit the semantic assumptions on source and target models, the specification assists in the verification (formal or informal) of model transformations. Cons can often be written in conjunctive-implicative form...
متن کاملSaying Hello World with MOLA - A Solution to the TTC 2011 Instructive Case
In this paper we describe the solution to Hello World case [6] for TTC 20111 contest, implemented in MOLA model transformation language. The core task and all optional extensions are implemented. The SHARE image of solution is also provided. [2] The ”Hello World” task can be implemented in MOLA in a very straightforward way. We describe in the paper the basic principles of the solution. Before ...
متن کاملNeeds-based Development of X/Motif User Interfaces
ion of an array of fields similar to a database. All of the entries have a parent field, which is the index in the table of the logical parent of the object. This "parent child" structure forms a tree of objects. "Group"s and "Window"s are the only objects which can have children. Therefore, the tree structure is non-binary, because "Group"s and "Window"s are not limited to the number of childr...
متن کاملSaying Hello World with Epsilon - A Solution to the 2011 Instructive Case
Epsilon is an extensible platform of integrated and task-specific languages for model management. With solutions to the 2011 TTC Hello World case, this paper demonstrates some of the key features of the Epsilon Object Language (an extension and reworking of OCL), which is at the core of Epsilon. In addition, the paper introduces several of the task-specific languages provided by Epsilon includi...
متن کامل